#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int main(){
  printf("%d\n", strlen("hello"));

  char ch[] = "abc\0def";
  printf("%d\n", strlen(ch));

  return EXIT_SUCCESS;
}
